допустимые последовательности действий вычислительного объекта

Programming: allowed sequences of actions of the computational object (см. ISO/IEC 10746-1, ГОСТ Р ИСО/МЭК 10746-1-2004)